
  
  
  /***************高亮显示*****************/

	
	
	var myNav = document.getElementById("num").getElementsByTagName("a");   
	function high(i)
	{	
		for(var j=0;j<17;j++)
		{
		myNav[j].className="frame-menu";
		}
		myNav[i].className="high";
	}
	
   

